((v1 v2 8) (v1 v3 1) (v2 v3 0))
25
((v3 v1))